Towards Safe Composition of Product Lines
نویسندگان
چکیده
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of features, there are also low-level implementation constraints: a feature module can reference elements that are defined in other feature modules. Safe composition is the guarantee that programs composed from feature modules are absent of references to undefined elements (such as classes, methods, and variables). We show how many properties of safe composition can be verified for AHEAD product lines using feature models and SAT solvers.
منابع مشابه
Composing annotations without regret? Practical experiences using FeatureC
Software product lines enable developers to derive similar products from a common code base. Existing implementation techniques can be categorized as composition-based and annotation-based, with both approaches promising complementary benefits. However, annotation-based approaches are commonly used in practice despite composition allowing physical separation of features and, thus, improving tra...
متن کاملFeature Composition – Towards product lines of Event-B models
Event-B is a formal language for modelling reactive systems, based on set theory and first-order logic. The RODIN toolkit provides comprehensive tool support for modelling and refinement in Event-B, analysis and verification using animator/model-checkers and theorem provers. We consider the need to support reuse, in particular product line reuse, in such a formal development method. Feature mod...
متن کاملSimulation of metabolism-based herb-drug interaction: towards safe and efficacious use of NIPRD-AM1
Objective: To evaluate the effect of NIPRD-AM1 on CYP3A4 in order to generate clinically significant data for its safe and efficacious use. Materials and Methods: NIPRD-AM1 is a phytomedicine developed from aqueous root extracts of Nauclea latifolia Smith (Rubiaceae) for the treatment of uncomplicated malaria. The effect of NIPRD-AM1 on CYP3A4 was measured with and without the addition of NIPRD...
متن کاملTowards safe and effective phytomedicines:the need for standardization
Over the past 20 years herbal medicinal products have become a topic of increasing global importance, with both medical and economic implications. In developing countries in Africa and Asia, botanicals have always played a central role in healthcare. Data from WHO suggest that 65 to 80% of the populations in these countries depend on traditional and botanical medicines as the primary source of ...
متن کاملTowards safe and effective phytomedicines:the need for standardization
Over the past 20 years herbal medicinal products have become a topic of increasing global importance, with both medical and economic implications. In developing countries in Africa and Asia, botanicals have always played a central role in healthcare. Data from WHO suggest that 65 to 80% of the populations in these countries depend on traditional and botanical medicines as the primary source of ...
متن کامل